Boolean algebras and Lubell functions
نویسندگان
چکیده
منابع مشابه
Boolean algebras and Lubell functions
Let 2 denote the power set of [n], where [n] = {1, 2, . . . , n}. A collection B ⊂ 2 forms a d-dimensional Boolean algebra if there exist pairwise disjoint sets X0, X1, . . . , Xd ⊆ [n], all non-empty with perhaps the exception of X0, so that B = { X0 ∪ ⋃ i∈I Xi : I ⊆ [d] } . Let b(n, d) be the maximum cardinality of a family F ⊂ 2 that does not contain a d-dimensional Boolean algebra. Gunderso...
متن کاملOn Functions Defined on Free Boolean Algebras
We characterize measures on free Boolean algebras and we examine the relationships that exists between measures and binary tables in relational databases. It is shown that these measures are completely defined by their values on positive conjunctions and an algorithm that leads to the construction of measures starting from its values on positive conjunction is also given, including a formula th...
متن کاملBoolean Algebras and Logic
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone’s representation theorem. Some special classes of Boolean algebras are also concerned with and, in particular, the relations of Boolean algebras to propositional logic and to set theory are studied in more details. We mention here that all what we do for propositional logic can also be extende...
متن کاملRobbins Algebras vs. Boolean Algebras
In the early 1930s, Huntington proposed several axiom systems for Boolean algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by McCune with the help of automated theorem prover EQP/OTTER. Some simplified and restucturized versions of this proof are known. In our vers...
متن کاملSuperatomic Boolean algebras constructed from strongly unbounded functions
Using Koszmider’s strongly unbounded functions, we show the following consistency result: Suppose that κ, λ are infinite cardinals such that κ ≤ λ, κ = κ and 2 = κ, and η is an ordinal with κ ≤ η < κ and cf(η) = κ. Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra B such that ht(B) = η + 1, wdα(B) = κ for every α < η and wdη(B) = λ (i.e. there is a local...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 2015
ISSN: 0097-3165
DOI: 10.1016/j.jcta.2015.06.004